Versailles (Yvelines). 1, rue Richaud

Georges GARDARIN Université de Versailles Saint-Quentin-en-Yvelines

Algorithme automatique non supervisé pour le Deft 2012 (Automatic unsupervised algorithm for Deft 2012) [in French]

Murat Ahat 1 Coralie Petermann 1, 2 Yann Vigile Hoareau 3 Soufian Ben Amor 1 Marc Bui 2 (1) Prism, Université de Versailles Saint-Quentin-en-Yvelines, 35 avenue des Etats-Unis, F-78035 Versailles. (2) LaISC, Ecole Pratique des Hautes Etudes, 41 rue Gay-Lussac, F-75005 Paris. (3) CHArt, 41 rue Gay-Lussac, F-75005 Paris. [email protected], [email protected], hoareau@lutin-userlab...

The Behavior of Flexible MIL-53(Al) upon CH4 and CO2 Adsorption

Anne Boutin,† François-Xavier Coudert,‡ Marie-Anne Springuel-Huet,§ Alexander V. Neimark,‡,| Gérard Férey,⊥ and Alain H. Fuchs*,‡ Chemistry Department, École Normale Supérieure, CNRS and UniV. Pierre et Marie Curie, 24 rue Lhomond, 75231 Paris cedex 05, France, CNRS, Chimie ParisTech and UniV. Pierre et Marie Curie, 11 rue Pierre et Marie Curie, 75005 Paris, France, Laboratoire de Chimie de la ...

Results about Rue Resolution

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...